let absurd: void => 'a